A Rigorous ODE Solver and Smale’s 14th Problem
نویسندگان
چکیده
منابع مشابه
A Rigorous ODE Solver and Smale's 14th Problem
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of interval arithmetic with directed rounding. As an application, we prove that the Lorenz equations support a strange attractor, as conjectured by Edward Lorenz in 1963. This conjecture was recently listed by Steven Smal...
متن کاملImplementing a Rigorous ODE Solver through Literate Programming
Interval numerical methods produce results that can have the power of a mathematical proof. Although there is a substantial amount of theoretical work on these methods, little has been done to ensure that an implementation of an interval method can be readily verified. However, when claiming rigorous numerical results, it is crucial to ensure that there are no errors in their computation. Furth...
متن کاملAn extended ode solver for sensitivity calculations
A rcccntly published semi-implicit Rung+Kulta algorithm has been extended to compute parameter sensitivities in dynamical systems. The decomposed direct method (DDM) of sensitivity analysis results in a general and compact FORTRAN program, well-suited even for small computers. The straightforward DDM provides more accurate sensitivities than does the numerically efficient, but more involved Gre...
متن کاملAn Enhanced ODE Solver for REDUCE
Work is in progress to extend the REDUCE package ODESOLVE for solving ordinary differential equations (ODEs). The latest version has a more user-friendly and flexible interface, allows conditions to be imposed on solutions and can solve some classes of nonlinear ODEs. It performs well on recently published test examples. The interface supports systems
متن کاملTracing Surface Intersections with a Validated ODE System Solver
This paper presents a robust method for tracing intersection curve segments between continuous rational parametric surfaces, typically rational B-spline surface patches. The tracing procedure is based on a validated ordinary differential equation (ODE) system solver, which can be uniformly applied, without substantial overhead, for transversal, tangential as well as self-intersection cases. App...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Computational Mathematics
سال: 2002
ISSN: 1615-3375
DOI: 10.1007/s002080010018